Square of Opposition

Square of Opposition चार categorical propositions (A, E, I, O) के बीच logical relationships को दर्शाने वाला एक diagram है।

Four Types of Relations:

• Contradictory — विरुद्ध: A ⟷ O, E ⟷ I
• Contrary — विरोधी: A ⟷ E
• Subcontrary — उपविरोधी: I ⟷ O
• Subalternation — उपांतरण: A → I, E → O

Contrary relation A और E propositions के बीच होता है।

Key Points:

• Cannot both be true — यदि A true है तो E false; यदि E true है तो A false
• Can both be false — दोनों false हो सकते हैं

Example:

• A: All students are intelligent
• E: No students are intelligent
• दोनों एक साथ true नहीं हो सकते।
• दोनों false हो सकते हैं — कुछ students intelligent हैं और कुछ नहीं।

Contradictory relation A ⟷ O और E ⟷ I के बीच होता है।

Key Points:

• Cannot both be true — एक true तो दूसरा false
• Cannot both be false — एक false तो दूसरा true
• यह strongest opposition relation है

Example:

• A: All students are intelligent
• O: Some students are not intelligent
• यदि A true है → O false; यदि A false है → O true
• यदि O true है → A false; यदि O false है → A true

Subcontrary relation I और O propositions के बीच होता है।

Key Points:

• Cannot both be false — यदि I false है तो O true; यदि O false है तो I true
• Can both be true — दोनों true हो सकते हैं

Example:

• I: Some students are intelligent
• O: Some students are not intelligent
• दोनों एक साथ true हो सकते हैं (कुछ intelligent हैं, कुछ नहीं)
• दोनों एक साथ false नहीं हो सकते

Subalternation universal (A, E) और particular (I, O) propositions के बीच का relation है।

Key Points:

• Universal true → Particular true (A→I, E→O)
• Particular false → Universal false (I false → A false; O false → E false)
• Universal false → Particular unknown (A false → I unknown; E false → O unknown)
• Particular true → Universal unknown (I true → A unknown; O true → E unknown)

Traditional (Aristotelian) Interpretation:

• Assumes that the subject class has at least one member (existential import)
• All four relations (Contrary, Contradictory, Subcontrary, Subalternation) are valid
• Square of Opposition is fully functional

Modern/Boolean Interpretation:

• Does not assume existential import
• Universal propositions (A and E) have no existential import
• Particular propositions (I and O) do have existential import
• Subalternation and Contrary relations are not valid when subject class is empty
• Only Contradictory relation remains fully valid
• Subcontrary relation remains valid only if subject class exists

• No existential import: Universal propositions do not assume existence of members
• A proposition "All S are P" = No S is non-P (it's true even if S has no members)
• E proposition "No S are P" = No S is P (true even if S has no members)
• I proposition "Some S are P" = There exists at least one S that is P (requires existence)
• O proposition "Some S are not P" = There exists at least one S that is not P (requires existence)

Validity in Boolean Interpretation:

• Contradictory: Always valid (A⟷O, E⟷I)
• Contrary: Not valid when subject class is empty
• Subcontrary: Valid only if subject class exists
• Subalternation: Not valid when subject class is empty

• Trap 1: Contrary = Both cannot be true AND both cannot be false → ❌ Contrary: both cannot be true, but both can be false.
• Trap 2: Contradictory = Both cannot be true, but both can be false → ❌ Contradictory: both cannot be true AND both cannot be false.
• Trap 3: Subcontrary = Both cannot be true AND both cannot be false → ❌ Subcontrary: both cannot be false, but both can be true.
• Trap 4: Subalternation = Particular true → Universal true → ❌ Particular true → Universal unknown (not necessarily true).
• Trap 5: Traditional and Boolean interpretations give same results always → ❌ Difference arises when subject class is empty (no existence).
• Trap 6: In Boolean, all four relations are valid → ❌ Only Contradictory is fully valid; others depend on existential import.

If "All teachers are educated" (A) is false, what can we conclude about "Some teachers are not educated" (O)?

• A. O is true
• B. O is false
• C. O is unknown
• D. O is also false

Explanation: A and O are contradictories — if A is false, O must be true.

If "All students are intelligent" (A) is true, what can we say about "No students are intelligent" (E)?

• A. E is true
• B. E is false
• C. E is unknown
• D. E is also true

Explanation: A and E are contraries — if A is true, E must be false.

If "Some students are intelligent" (I) is false, what can we say about "Some students are not intelligent" (O)?

• A. O is true
• B. O is false
• C. O is unknown
• D. O is also false

Explanation: I and O are subcontraries — if I is false, O must be true.

If "All humans are mortal" (A) is true, what can we conclude about "Some humans are mortal" (I)?

• A. I is true
• B. I is false
• C. I is unknown
• D. I is also false

Explanation: Subalternation — if A is true, I must be true (truth flows down from universal to particular).

Which relation remains fully valid in Boolean interpretation?

• A. Contrary
• B. Contradictory
• C. Subcontrary
• D. Subalternation

Explanation: In Boolean interpretation, only Contradictory relation remains fully valid. Others depend on existential import.

If "Some students are intelligent" (I) is false, what can we conclude about "All students are intelligent" (A)?

• A. A is true
• B. A is false
• C. A is unknown
• D. A is also false

Explanation: Subalternation — if particular (I) is false, universal (A) must be false (falsity flows up).

Four Relations:

• Contradictory: A⟷O, E⟷I (Not both true, not both false)
• Contrary: A⟷E (Not both true, but both can be false)
• Subcontrary: I⟷O (Not both false, but both can be true)
• Subalternation: A→I, E→O (Universal true → Particular true; Particular false → Universal false)

Truth-Falsity Rules:

• Contradictory: Opposite truth values
• Contrary: Not both true, both can be false
• Subcontrary: Not both false, both can be true
• Subalternation: Truth flows down, Falsity flows up

Traditional vs Boolean:

• Traditional: Assumes existential import → all relations valid
• Boolean: No existential import → only Contradictory fully valid

Exam Formula:

UGC NET में Square of Opposition के questions truth-falsity relations और Traditional vs Boolean interpretation पर based होते हैं।